$\forall$$a$,$b$:$\mathbb{Z}$. assoced($a$; $b$) $\in$ prop\{1:l\}